1. A beginner's guide to Programming logic and design
پدیدآورنده : Farrell, Joyce.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع : ، Logic programming,، Logic design
رده :
QA
76
.
63
.
F37
2. An object-oriented approach to programming logic and design
پدیدآورنده : Farrell, Joyce
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : ، Logic programming,، Logic design
رده :
QA
76
.
63
.
F3O2
3. CSL'87 lst workshop on computer science logic
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Electronic digital computers-- Design and construction-- Congresses,، Logic design-- Computer programming-- Congresses
رده :
QA
76
.
6
.
W6
1987
4. Digital system design and microprocessors
پدیدآورنده : Hayes, John Patrick
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Digital integrated circuits,Logic design,، Microprocessors,Programming ، Microcomputers
رده :
TK
7874
.
H393
1984
5. Digital system design and microprocessors
پدیدآورنده : John P. Hayes
موضوع : Digital integrated circuits,Logic design,Microprocessors,Microcomputers -- programming
۴ نسخه از این کتاب در ۴ کتابخانه موجود است.
6. Digital system design and microprocessors
پدیدآورنده : Hayes, John P.)John Patrick(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Digital integrated circuits,، Logic design,، Microprocessors,، Microcomputers - Programming
رده :
TK
7874
.
H393
1984
7. Digital system design and microprocessors
پدیدآورنده : Hayes, John P.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : ، Digital integrated circuits,، Logic design,، Microprocessors,، Microcomputers- Programming
رده :
TK
7874
.
H393
8. Digital system design & microprocessors
پدیدآورنده : HAYES,JOHN PATRICK
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : DIGITAL INTEGRATED CIRCUITS , LOGIC DESIGN , MICROCOMPUTERS-PROGRAMMING
رده :
TK
7874
.
H39
9. Foundations of probabilistic logic programming :
پدیدآورنده : Fabrizio Riguzzi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic programming.,Probabilities-- Data processing.,COMPUTERS-- Logic Design.,Logic programming.,Probabilities-- Data processing.
رده :
QA76
.
63
.
R54
2018
10. Fuzzy systems design: social and engineering applications
پدیدآورنده : Leonid Reznik, Vladimir Dimitrov, Janusz Kacprzyk )eds.(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، System design,، Fuzzy systems,، Logic programming
رده :
QA
76
.
9
.
S88
F89
1998
11. Implementation and application of functional language
پدیدآورنده : / Jurriaan Hage, Marco T. Morazaan (eds
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Functional programming languages, Congresses,Computer science,Software engineering,Logic design,Logics and Meanings of Programs,Programming Languages, Compilers, Interpreters,Mathematical Logic and Formal Languages,Programming Techniques,Electronic books
رده :
QA76
.
62
.
I58
2010
12. Interactive relational database design : a logic programming implementation
پدیدآورنده : Bagchi, Tapan P.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Database design,، Relational databases,، Logic programming
رده :
QA
76
.
L28
Vol
.
402
13. Interactive relational database design: a logic programming implementation
پدیدآورنده : Bagchi, Tapan P.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Database design,، Relational databases,، Logic programming
رده :
QA
76
.
9
.
D26
.
B34
1989
14. P-Functions and Boolean matrix factorization : a unified approch for wired, programmed, and microprogrammed implementations of discrete algorithms
پدیدآورنده : Thayse, Andre, 0491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer programming,، Logic design,، Algorithms,، Algebra, Boolean
رده :
QA
76
.
L28
Vol
.
175
15. P-functions and Boolean matrix factorization: a unified approach for wired, programmed, and microporogrammed implementations of discrete algorithms
پدیدآورنده : Thayse, Andre
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Electronic digital computers-- Programming,، Logic design,، Computer algorithms,، Algebra, Boolean
رده :
QA
76
.
6
.
T4452
1984
16. P-functions and Boolean matrix factorization : a unified approach for wired, programmed, and microprogrammed implementations of discrete algorithms
پدیدآورنده : Thayse, Andre
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Electronic digital computers - Programming,، Logic design,، Computer algorithms,، Algebra, Boolean
رده :
QA
76
.
L4
v
.
175
17. Process Algebra for Parallel and Distributed Processing
پدیدآورنده :
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Mathematics, Computing: Professional & Programming, Algebra, Computer architecture & logic design, Computing: general, Programming languages, Mathematics, Programming Languages - General,، Science
18. Programming logic and design :
پدیدآورنده : Joyce Farrell.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic design.,Logic programming.
رده :
QA76
.
63
J693
2015
19. Trends in Functional Programming
پدیدآورنده : \ Jurriaan Hage , Jay McCarthy (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Functional programming (Computer science) -- Congresses.,Logic design -- Computer programs -- Congresses.,Data structures (Computer science) -- Congresses.,طراحی منطقی -- برنامه‌های کامپیوتری -- کنگره ها ,ساختار داده‌ها -- کنگره ها
رده :
QA
76
.
62
.
T7
2015
E-Book
,
20. Trends in functional programming :
پدیدآورنده : Michał Pałka, Magnus Myreen (Eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Computer science.,Data structures (Computer science),Functional programming (Computer science),Logic design-- Computer programs.,Logic design.,Operating systems (Computers)
رده :
QA76
.
62
.
I58
2018
